-
1 formalized theor
Большой англо-русский и русско-английский словарь > formalized theor
-
2 formalized
формализованный completely formalized language ≈ полностью формализованный язык elementary formalized language ≈ элементарный формализованный язык, формализованный язык первого порядка - formalized grammar - formalized language - formalized metalogic - formalized model - formalized realizability - formalized scheme - formalized system - formalized theor ФормализованныйБольшой англо-русский и русско-английский словарь > formalized
-
3 формализованная теория
Большой англо-русский и русско-английский словарь > формализованная теория
См. также в других словарях:
Denotational semantics — In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach to formalizing the meanings of programming languages by constructing mathematical objects (called denotations)… … Wikipedia
Dimensional analysis — In physics and all science, dimensional analysis is a tool to find or check relations among physical quantities by using their dimensions. The dimension of a physical quantity is the combination of the basic physical dimensions (usually mass,… … Wikipedia
Evolution of ageing — Enquiry into the evolution of ageing aims to explain why almost all living things weaken and die with age. There is not yet agreement in the scientific community on a single answer. The evolutionary origin of senescence remains a fundamental… … Wikipedia